From 53c04448ff0617e46fa92eda5ea36068d72d9bcd Mon Sep 17 00:00:00 2001
From: Jeroen van der Heijden <jeroen@transceptor.technology>
Date: Wed, 26 Sep 2018 12:54:45 +0200
Subject: [PATCH] Remove unused splint

---
 .splintrc | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 .splintrc

diff --git a/.splintrc b/.splintrc
deleted file mode 100644
index f51cbeaa..00000000
--- a/.splintrc
+++ /dev/null
@@ -1,10 +0,0 @@
--I ./include/
--posix-lib
--redef
--syntax
--fcnuse 
--unrecog
--exitarg
--boolops
-+boolint
-+matchanyintegral
-- 
2.30.2